We advance an account that grounds cognition, specifically decision-making, in an activity all organisms as autonomous systems must perform to keep themselves viable—controlling their production mechanisms. Production mechanisms, as we characterize them, perform activities such as procuring resources from their environment, putting these resources to use to construct and repair the organism's body and moving through the environment. Given the variable nature of the environment and the continual degradation of the organism, these production mechanisms must be regulated by control mechanisms (...) that select when a production is required and how it should be carried out. To operate on production mechanisms, control mechanisms need to procure information through measurement processes and evaluate possible actions. They are making decisions. In all organisms, these decisions are made by multiple different control mechanisms that are organized not hierarchically but heterarchically. In many cases, they employ internal models of features of the environment with which the organism must deal. Cognition, in the form of decision-making, is thus fundamental to living systems which must control their production mechanisms. (shrink)

Living organisms act as integrated wholes to maintain themselves. Individual actions can each be explained by characterizing the mechanisms that perform the activity. But these alone do not explain how various activities are coordinated and performed versatilely. We argue that this depends on a specific type of mechanism, a control mechanism. We develop an account of control by examining several extensively studied control mechanisms operative in the bacterium E. coli. On our analysis, what distinguishes a control mechanism from other mechanisms (...) is that it relies on measuring one or more variables, which results in setting constraints in the control mechanism that determine its action on flexible constraints in other mechanisms. In the most basic arrangement, the measurement process directly determines the action of the control mechanism, but in more complex arrangements signals mediate between measurements and effectors. This opens the possibility of multiple responses to the same measurement and responses based on multiple measurements. It also allows crosstalk, resulting in networks of control mechanisms. Such networks integrate the behaviors of the organism but also present a challenge in tailoring responses to particular measurements. We discuss how integrated activity can still result in differential, versatile, responses. (shrink)

Due to the wide array of phenomena that are of interest to them, psychologists offer highly diverse and heterogeneous types of explanations. Initially, this suggests that the question "What is psychological explanation?" has no single answer. To provide appreciation of this diversity, we begin by noting some of the more common types of explanations that psychologists provide, with particular focus on classical examples of explanations advanced in three different areas of psychology: psychophysics, physiological psychology, and information-processing psychology. To analyze what (...) is involved in these types of explanations, we consider the ways in which law-like representations of regularities and representations of mechanisms factor in psychological explanations. This consideration directs us to certain fundamental questions, e.g., "To what extent are laws necessary for psychological explanations?" and "What do psychologists have in mind when they appeal to mechanisms in explanation?" In answering such questions, it appears that laws do play important roles in psychological explanations, although most explanations in psychology appeal to accounts of mechanisms. Consequently, we provide a unifying account of what psychological explanation is. (shrink)

Unless one embraces activities as foundational, understanding activities in mechanisms requires an account of the means by which entities in biological mechanisms engage in their activities—an account that does not merely explain activities in terms of more basic entities and activities. Recent biological research on molecular motors exemplifies such an account, one that explains activities in terms of free energy and constraints. After describing the characteristic “stepping” activities of these molecules and mapping the stages of those steps onto the stages (...) of the motors’ hydrolytic cycles, researchers pieced together from images of the molecules in different hydrolyzation states accounts of how the chemical energy in ATP is transformed in the constrained environments of the motors into the characteristic activities of the motors. We argue that New Mechanism’s standard set of analytic categories—entities, activities, and organization—should be expanded to include constraints and energetics. Not only is such an expansion required descriptively to capture research on molecular motors but, more importantly from a philosophical point of view, it enables a non-regressive account of activities in mechanisms. In other words, this expansion enables a philosophical account of mechanistic explanation that avoids a regress of entities and activities “all the way down.” Rather, mechanistic explanation bottoms out in constraints and energetics. (shrink)

Understanding how biological organisms are autonomous—maintain themselves far from equilibrium through their own activities—requires understanding how they regulate those activities. In multicellular animals, such control can be exercised either via endocrine signaling through the vasculature or via neurons. In C. elegans this control is exercised by a well-delineated relatively small but distributed nervous system that relies on both chemical and electric transmission of signals. This system provides resources to integrate information from multiple sources as needed to maintain the organism. Especially (...) important for the exercise of neural control are neuromodulators, which we present as setting agendas for control through more traditional electrical signaling. To illustrate how the C. elegans nervous system integrates multiple sources of information in controlling activities important for autonomy, we focus on feeding behavior and responses to adverse conditions. We conclude by considering how a distributed nervous system without a centralized controller is nonetheless adequate for autonomy. (shrink)

Explanatory pluralism holds that the sorts of comprehensive theoretical and ontological economies, which microreductionists and New Wave reductionists envision and which antireductionists fear, offer misleading views of both scientific practice and scientific progress. Both advocates and foes of employing reductionist strategies at the interface of psychology and neuroscience have overplayed the alleged economies that interlevel connections (including identities) justify while overlooking their fundamental role in promoting scientific research. A brief review of research on visual processing provides support for the explanatory (...) pluralist=s general model of cross-scientific relations and discloses the valuable heuristic role hypothetical identities play in cross-scientific research. That model also supplies grounds for hesitation about the correlation objection to the psycho-physical identity theory and complaints about an explanatory gap in physicalist accounts of consciousness. These takes on psycho-neural connections miss both the sorts of considerations that motivate hypothetical identities in science and their fundamental contribution to progressive research. Thus, their focus on the contributions of research at multiple levels of analysis does not bar explanatory pluralists from considering heuristic identity theory (HIT). Arguably, it encourages it. (shrink)

According to new mechanists, mechanisms explain how specific biological phenomena are produced. New mechanists have had little to say about how mechanisms relate to the organism in which they reside. A key feature of organisms, emphasized by the autonomy tradition, is that organisms maintain themselves. To do this, they rely on mechanisms. But mechanisms must be controlled so that they produce the phenomena for which they are responsible when and in the manner needed by the organism. To account for how (...) they are controlled, we characterize mechanisms as sets of constraints on the flow of free energy. Some constraints are flexible and can be acted on by other mechanisms, control mechanisms, that utilize information procured from the organism and its environment to alter the flexible constraints in other mechanisms so that they produce phenomena appropriate to the circumstances. We further show that control mechanisms in living organisms are organized heterarchically—control is carried out primarily by local controllers that integrate information they acquire as well as that which they procure from other control mechanisms. The result is not a hierarchy of control but an integrated network of control mechanisms that has been crafted over the course of evolution. (shrink)

Psychological construction represents an important new approach to psychological phenomena, one that has the promise to help us reconceptualize the mind both as a behavioral and as a biological system. It has so far been developed in the greatest detail for emotion, but it has important implications for how researchers approach other mental phenomena such as reasoning, memory, and language use. Its key contention is that phenomena that are characterized in (folk) psychological vocabulary are not themselves basic features of the (...) mind, but are constructed from more basic psychological operations. The framework of mechanistic explanation, currently under development in philosophy of science, can provide a useful perspective on the psychological construction approach. A central insight of the mechanistic account of explanation is that biological and psychological phenomena result from mechanisms in which component parts and operations do not individually exhibit the phenomena of interest but function together in an orchestrated and sometimes in a complex dynamical manner to generate it. While at times acknowledging the compatibility of the mechanist approach with constructionist approach (Lindquist, Wager, Kober, Bliss-Moreau, & Barrett, 2012), proponents of the constructionist approach have at other times pitched their approach as anti-mechanist. For example, Barrett (2009) claims that the psychological constructionist approach rejects machines as the primary metaphor for understanding the mind, instead favoring a recipe metaphor; constructionism also purportedly rejects the “mechanistic” picture of causation, which it portrays as linear or sequential in nature (see also Barrett, Wilson-Mendenhall, & Barsalou, in press). While some mechanistic accounts do fit this description, we will see that the mechanisms generating phenomena can be complex and dynamic, producing phenomena far less stereotypic and more adaptive than people often associate with machines. Our goal, however, is not just to render constructionism and mechanism compatible. Philosophers of science have been examining the nature of mechanistic explanation in biology with the goal of gaining new insights into the operation of science. We will identify some of the places where the mechanistic account can shed new light on the constructionist project. (shrink)

Organization figures centrally in the understanding of biological systems advanced by both new mechanists and proponents of the autonomy framework. The new mechanists focus on how components of mechanisms are organized to produce a phenomenon and emphasize productive continuity between these components. The autonomy framework focuses on how the components of a biological system are organized in such a way that they contribute to the maintenance of the organisms that produce them. In this paper we analyze and compare these two (...) accounts of organization and argue that understanding biological organisms as cohesively integrated systems benefits from insights from both. To bring together the two accounts, we focus on the notions of control and regulation as bridge concepts. We start from a characterization of biological mechanisms in terms of constraints and focus on a specific type of mechanism, control mechanisms, that operate on other mechanisms on the basis of measurements of variables in the system and its environment. Control mechanisms are characterized by their own set of constraints that enable them to sense conditions, convey signals, and effect changes on constraints in the controlled mechanism. They thereby allow living organisms to adapt to internal and external variations and to coordinate their parts in such a manner as to maintain viability. Because living organisms contain a vast number of control mechanisms, a central challenge is to understand how they are themselves organized. With the support of examples from both unicellular and multicellular systems we argue that control mechanisms are organized heterarchically, and we discuss how this type of control architecture can, without invoking top-down and centralized forms of organizations, succeed in coordinating internal activities of organisms. (shrink)

As much as assumptions about mechanisms and mechanistic explanation have deeply affected psychology, they have received disproportionately little analysis in philosophy. After a historical survey of the influences of mechanistic approaches to explanation of psychological phenomena, we specify the nature of mechanisms and mechanistic explanation. Contrary to some treatments of mechanistic explanation, we maintain that explanation is an epistemic activity that involves representing and reasoning about mechanisms. We discuss the manner in which mechanistic approaches serve to bridge levels rather than (...) reduce them, as well as the different ways in which mechanisms are discovered. Finally, we offer a more detailed example of an important psychological phenomenon for which mechanistic explanation has provided the main source of scientific understanding. (shrink)

The new mechanists and the autonomy approach both aim to account for how biological phenomena are explained. One identifies appeals to how components of a mechanism are organized so that their activities produce a phenomenon. The other directs attention towards the whole organism and focuses on how it achieves self-maintenance. This paper discusses challenges each confronts and how each could benefit from collaboration with the other: the new mechanistic framework can gain by taking into account what happens outside individual mechanisms, (...) while the autonomy approach can ground itself in biological research into how the actual components constituting an autonomous system interact and contribute in different ways to realize and maintain the system. To press the case that these two traditions should be constructively integrated we describe how three recent developments in the autonomy tradition together provide a bridge between the two traditions: (1) a framework of work and constraints, (2) a conception of function grounded in the organization of an autonomous system, and (3) a focus on control. (shrink)

Emergence is much discussed by both philosophers and scientists. But, as noted by Mitchell (2012), there is a significant gulf; philosophers and scientists talk past each other. We contend that this is because philosophers and scientists typically mean different things by emergence, leading us to distinguish being emergence and pattern emergence. While related to distinctions offered by others between, for example, strong/weak emergence or epistemic/ontological emergence (Clayton, 2004, pp. 9–11), we argue that the being vs. pattern distinction better captures what (...) the two groups are addressing. In identifying pattern emergence as the central concern of scientists, however, we do not mean that pattern emergence is of no interest to philosophers. Rather, we argue that philosophers should attend to, and even contribute to, discussions of pattern emergence. But it is important that this discussion be distinguished, not conflated, with discussions of being emergence. In the following section we explicate the notion of being emergence and show how it has been the focus of many philosophical discussions, historical and contemporary. In section 3 we turn to pattern emergence, briefly presenting a few of the ways it figures in the discussions of scientists (and philosophers of science who contribute to these discussions in science). Finally, in sections 4 and 5, we consider the relevance of pattern emergence to several central topics in philosophy of biology: the emergence of complexity, of control, and of goal-directedness in biological systems. (shrink)

Autoinhibition is a design principle realized in many molecular mechanisms in biology. After explicating the notion of a design principle and showing that autoinhibition is such a principle, we focus on how researchers discovered instances of autoinhibition, using research establishing the autoinhibition of the molecular motors kinesin and dynein as our case study. Research on kinesin and dynein began in the fashion described in accounts of mechanistic explanation but, once the mechanisms had been discovered, researchers discovered that they exhibited a (...) second phenomenon, autoinhibition. The discovery of autoinhibition not only reverses the pattern in terms of which philosophers have understood mechanism discovery but runs counter to the one phenomenon-one mechanism principle assumed to relate mechanisms and the phenomena they explain. The ubiquity of autoinhibition as a design principle, therefore, necessitates a philosophical understanding of mechanisms that recognizes how they can participate in more than one phenomenon. Since mechanisms with this design are released from autoinhibition only when they are acted on by control mechanisms, we advance a revised account of mechanisms that accommodates attribution of multiple phenomena to the same mechanism and distinguishes them from other processes that control them. (shrink)

Open theists deny that God knows future contingents. Most open theists justify this denial by adopting the position that there are no future contingent truths to be known. In this paper we examine some of the arguments put forward for this position in two recent articles in this journal, one by Dale Tuggy and one by Alan Rhoda, Gregory Boyd, and Thomas Belt. The arguments concern time, modality, and the semantics of ‘will’ statements. We explain why we find none of (...) these arguments persuasive. This wide road leads only to destruction. (shrink)

Achieving space domain awareness requires the identification, characterization, and tracking of space objects. Storing and leveraging associated space object data for purposes such as hostile threat assessment, object identification, and collision prediction and avoidance present further challenges. Space objects are characterized according to a variety of parameters including their identifiers, design specifications, components, subsystems, capabilities, vulnerabilities, origins, missions, orbital elements, patterns of life, processes, operational statuses, and associated persons, organizations, or nations. The Space Object Ontology provides a consensus-based realist framework (...) for formulating such characterizations in a computable fashion. Space object data are aligned with classes and relations in the Space Object Ontology and stored in a dynamically updated Resource Description Framework triple store, which can be queried to support space domain awareness and the needs of spacecraft operators. This paper presents the core of the Space Object Ontology, discusses its advantages over other approaches to space object classification, and demonstrates its ability to combine diverse sets of data from multiple sources within an expandable framework. Finally, we show how the ontology provides benefits for enhancing and maintaining longterm space domain awareness. (shrink)

This article explores the use of model organisms in studying the cognitive phenomenon of decision-making. Drawing on the framework of biological control to develop a skeletal conception of decision-making, we show that two core features of decision-making mechanisms can be identified by studying model organisms, such as E. coli, jellyfish, C. elegans, lamprey, and so on. First, decision mechanisms are distributed and heterarchically structured. Second, they depend heavily on chemical information processing, such as that involving neuromodulators. We end by discussing (...) the implications for studying distinctively human decision-making. (shrink)

We have begun work on two separate but related ontologies for the study of neurological diseases. The first, the Neurological Disease Ontology (ND), is intended to provide a set of controlled, logically connected classes to describe the range of neurological diseases and their associated signs and symptoms, assessments, diagnoses, and interventions that are encountered in the course of clinical practice. ND is built as an extension of the Ontology for General Medical Sciences — a high-level candidate OBO Foundry ontology that (...) provides a set of general classes that can be used to describe general aspects of medical science. ND is being built with classes utilizing both textual and axiomatized definitions that describe and formalize the relations between instances of other classes within the ontology itself as well as to external ontologies such as the Gene Ontology, Cell Ontology, Protein Ontology, and Chemical Entities of Biological Interest. In addition, references to similar or associated terms in external ontologies, vocabularies and terminologies are included when possible. Initial work on ND is focused on the areas of Alzheimer’s and other diseases associated with dementia, multiple sclerosis, and stroke and cerebrovascular disease. Extensions to additional groups of neurological diseases are planned. The second ontology, the Neuro-Psychological Testing Ontology (NPT), is intended to provide a set of classes for the annotation of neuropsychological testing data. The intention of this ontology is to allow for the integration of results from a variety of neuropsychological tests that assay similar measures of cognitive functioning. Neuro-psychological testing is an important component in developing the clinical picture used in the diagnosis of patients with a range of neurological diseases, such as Alzheimer’s disease and multiple sclerosis, and following stroke or traumatic brain injury. NPT is being developed as an extension to the Ontology for Biomedical Investigations. (shrink)

How does microbiota research impact our understanding of biological individuality? We summarize the interdisciplinary summer school on "Microbiota, Symbiosis and Individuality: Conceptual and Philosophical Issues" (July 2019), which was supported by a European Research Council starting grant project "Immunity, DEvelopment, and the Microbiota" (IDEM). The summer school centered around interdisciplinary group work on four facets of microbiota research: holobionts, individuality, causation, and human health. The conceptual discussion of cutting-edge empirical research provided new insights into microbiota and highlights the value of (...) incorporating into meetings experts from other disciplines, such as philosophy and history of science. (shrink)

We develop and apply a multi-dimensional conception of explanatory depth towards a comparative analysis of inflationary and bouncing paradigms in primordial cosmology. Our analysis builds on earlier work due to Azhar and Loeb (2021) that establishes initial condition fine-tuning as a dimension of explanatory depth relevant to debates in contemporary cosmology. We propose dynamical fine-tuning and autonomy as two further dimensions of depth in the context of problems with instability and trans-Planckian modes that afflict bouncing and inflationary approaches respectively. In (...) the context of the latter issue, we argue that the recently formulated trans-Planckian censorship conjecture leads to a trade-off for inflationary models between dynamical fine-tuning and autonomy. We conclude with the suggestion that explanatory preference with regard to the different dimensions of depth is best understood in terms of differing attitudes towards heuristics for future model building. (shrink)

In one of the most unusual decisions in the history of legal publishing, Foundation Press is printing the 1958 "tentative edition" of Henry M. Hart, Jr. and Albert M. Sacks's teaching materials on The Legal Process: Basic Problems in the Making and Application of Law. Although The Legal Process remains unfinished to this day, it provided the agenda, much of the analytic structure, and even the name of the "legal process school" of the 1950s and the 1960s. One need not (...) embrace the proposition that The Legal Process is "the most influential book not produced in movable type since Gutenberg" to agree that these are unusually important teaching materials whose influence extends well beyond the students who studied them in a law school course. (shrink)

We are developing the Neurological Disease Ontology (ND) to provide a framework to enable representation of aspects of neurological diseases that are relevant to their treatment and study. ND is a representational tool that addresses the need for unambiguous annotation, storage, and retrieval of data associated with the treatment and study of neurological diseases. ND is being developed in compliance with the Open Biomedical Ontology Foundry principles and builds upon the paradigm established by the Ontology for General Medical Science (OGMS) (...) for the representation of entities in the domain of disease and medical practice. Initial applications of ND will include the annotation and analysis of large data sets and patient records for Alzheimer’s disease, multiple sclerosis, and stroke. (shrink)

Concern about the ethics of clinical drug trials research on patients and healthy volunteers has been the subject of significant ethical analysis and policy development—protocols are reviewed by Research Ethics Committees and subjects are protected by informed consent procedures. More recently attention has begun to be focused on DNA banking for clinical and pharmacogenetics research. It is, however, surprising how little attention has been paid to the commercial nature of such research, or the unique issues that present when subjects are (...) asked to consent to the storage of biological samples. Our contention is that in the context of pharmacogenetic add-on studies to clinical drug trials, the doctrine of informed consent fails to cover the broader range of social and ethical issues. Applying a sociological perspective, we foreground issues of patient/subject participation or ‘work’, the ambiguity of research subject altruism, and the divided loyalties facing many physicians conducting clinical research. By demonstrating the complexity of patient and physician involvement in clinical drug trials, we argue for more comprehensive ethical review and oversight that moves beyond reliance on informed consent to incorporate understandings of the social, political and cultural elements that underpin the diversity of ethical issues arising in the research context. (shrink)

Biological ontologies are used to organize, curate, and interpret the vast quantities of data arising from biological experiments. While this works well when using a single ontology, integrating multiple ontologies can be problematic, as they are developed independently, which can lead to incompatibilities. The Open Biological and Biomedical Ontologies Foundry was created to address this by facilitating the development, harmonization, application, and sharing of ontologies, guided by a set of overarching principles. One challenge in reaching these goals was that the (...) OBO principles were not originally encoded in a precise fashion, and interpretation was subjective. Here we show how we have addressed this by formally encoding the OBO principles as operational rules and implementing a suite of automated validation checks and a dashboard for objectively evaluating each ontology’s compliance with each principle. This entailed a substantial effort to curate metadata across all ontologies and to coordinate with individual stakeholders. We have applied these checks across the full OBO suite of ontologies, revealing areas where individual ontologies require changes to conform to our principles. Our work demonstrates how a sizable federated community can be organized and evaluated on objective criteria that help improve overall quality and interoperability, which is vital for the sustenance of the OBO project and towards the overall goals of making data FAIR. Competing Interest StatementThe authors have declared no competing interest. (shrink)

We present a computational analysis of de re, de dicto, and de se belief and knowledge reports. Our analysis solves a problem first observed by Hector-Neri Castañeda, namely, that the simple rule -/- `(A knows that P) implies P' -/- apparently does not hold if P contains a quasi-indexical. We present a single rule, in the context of a knowledge-representation and reasoning system, that holds for all P, including those containing quasi-indexicals. In so doing, we explore the difference between reasoning (...) in a public communication language and in a knowledge-representation language, we demonstrate the importance of representing proper names explicitly, and we provide support for the necessity of considering sentences in the context of extended discourse (for example, written narrative) in order to fully capture certain features of their semantics. (shrink)

No existing conditional semantics captures the dual role of 'if' in embedded interrogatives — 'X wonders if p' — and conditionals. This paper presses the importance and extent of this challenge, linking it to cross-linguistic patterns and other phenomena involving conditionals. Among these other phenomena are conditionals with multiple 'if'-clauses in the antecedent — 'if p and if q, then r' — and relevance conditionals — 'if you are hungry, there is food in the cupboard'. Both phenomena are shown to (...) be problematic for existing analyses. Surprisingly, the decomposition of conditionals needed to capture the link with interrogatives provides a new analysis that captures all three phenomena. The model-theoretic semantics offered here relies on a dynamic conception of meaning and compositionality, a feature discussed throughout. (shrink)

William James’ argument against William Clifford in The Will to Believe is often understood in terms of doxastic efficacy, the power of belief to influence an outcome. Although that is one strand of James’ argument, there is another which is driven by ampliative risk. The second strand of James’ argument, when applied to scientific cases, is tantamount to what is now called the Argument from Inductive Risk. Either strand of James’ argument is sufficient to rebut Clifford's strong evidentialism (...) and show that it is sometimes permissible to believe in the absence of compelling evidence. However, the two considerations have different scope and force. Doxastic efficacy applies in only some cases but allows any values to play a role in determining belief; risk applies in all cases but only allows particular conditional values to play a role. (shrink)

Wittgenstein's Philosophical Investigations is organized in short paragraphs or "remarks." Most of these are numbered consecutively, but some are not – including his remarks on "aspect-seeing" that are the focus of Seeing Wittgenstein Anew. This appendix to that volume is an indexed catalog of the unnumbered remarks, cross-referenced to four different editions, including the latest (4th) edition. -/- Note: There is a missing remark that should be inserted on p. 363 of the concordance, after the "A sensation can" line, thus: (...) What is the 185e 158e PPF §60. (shrink)

Is evidential support transitive? The answer is negative when evidential support is understood as confirmation so that X evidentially supports Y if and only if p(Y | X) > p(Y). I call evidential support so understood “support” (for short) and set out three alternative ways of understanding evidential support: support-t (support plus a sufficiently high probability), support-t* (support plus a substantial degree of support), and support-tt* (support plus both a sufficiently high probability and a substantial degree of support). I also (...) set out two screening-off conditions (under which support is transitive): SOC1 and SOC2. It has already been shown that support-t is non-transitive in the general case (where it is not required that SOC1 holds and it is not required that SOC2 holds), in the special case where SOC1 holds, and in the special case where SOC2 holds. I introduce two rather weak adequacy conditions on support measures and argue that on any support measure meeting those conditions it follows that neither support-t* nor support-tt* is transitive in the general case, in the special case where SOC1 holds, or in the special case where SOC2 holds. I then relate some of the results to Douven’s evidential support theory of conditionals along with a few rival theories. (shrink)

DOI: 10.1080/00031305.2018.1564697 When the editors of Basic and Applied Social Psychology effectively banned the use of null hypothesis significance testing (NHST) from articles published in their journal, it set off a fire-storm of discussions both supporting the decision and defending the utility of NHST in scientific research. At the heart of NHST is the p-value which is the probability of obtaining an effect equal to or more extreme than the one observed in the sample data, given the null hypothesis and (...) other model assumptions. Although this is conceptually different from the probability of the null hypothesis being true, given the sample, p-values nonetheless can provide evidential information, toward making an inference about a parameter. Applying a 10,000-case simulation described in this article, the authors found that p-values’ inferential signals to either reject or not reject a null hypothesis about the mean (α = 0.05) were consistent for almost 70% of the cases with the parameter’s true location for the sampled-from population. Success increases if a hybrid decision criterion, minimum effect size plus p-value (MESP), is used. Here, rejecting the null also requires the difference of the observed statistic from the exact null to be meaningfully large or practically significant, in the researcher’s judgment and experience. The simulation compares performances of several methods: from p-value and/or effect size-based, to confidence-interval based, under various conditions of true location of the mean, test power, and comparative sizes of the meaningful distance and population variability. For any inference procedure that outputs a binary indicator, like flagging whether a p-value is significant, the output of one single experiment is not sufficient evidence for a definitive conclusion. Yet, if a tool like MESP generates a relatively reliable signal and is used knowledgeably as part of a research process, it can provide useful information. (shrink)

Bayesian confirmation theory is rife with confirmation measures. Many of them differ from each other in important respects. It turns out, though, that all the standard confirmation measures in the literature run counter to the so-called “Reverse Matthew Effect” (“RME” for short). Suppose, to illustrate, that H1 and H2 are equally successful in predicting E in that p(E | H1)/p(E) = p(E | H2)/p(E) > 1. Suppose, further, that initially H1 is less probable than H2 in that p(H1) < p(H2). (...) Then by RME it follows that the degree to which E confirms H1 is greater than the degree to which it confirms H2. But by all the standard confirmation measures in the literature, in contrast, it follows that the degree to which E confirms H1 is less than or equal to the degree to which it confirms H2. It might seem, then, that RME should be rejected as implausible. Festa (2012), however, argues that there are scientific contexts in which RME holds. If Festa’s argument is sound, it follows that there are scientific contexts in which none of the standard confirmation measures in the literature is adequate. Festa’s argument is thus interesting, important, and deserving of careful examination. I consider five distinct respects in which E can be related to H, use them to construct five distinct ways of understanding confirmation measures, which I call “Increase in Probability”, “Partial Dependence”, “Partial Entailment”, “Partial Discrimination”, and “Popper Corroboration”, and argue that each such way runs counter to RME. The result is that it is not at all clear that there is a place in Bayesian confirmation theory for RME. (shrink)

In the face of continuing assumptions by many scientists and journal editors that p-values provide a gold standard for inference, counter warnings are published periodically. But the core problem is not with p-values, per se. A finding that “p-value is less than α” could merely signal that a critical value has been exceeded. The question is why, when estimating a parameter, we provide a range (a confidence interval), but when testing a hypothesis about a parameter (e.g. µ = x) we (...) proceed as if “=” entails exact equality of the parameter with x. That standard is hard to meet, and is not a standard expected for power calculations, where we are satisfied to reject a null hypothesis H0 if the result is merely “detectably” different from (exact) H0. This paper explores, with resampling (simulation) methods, the impacts on p-values, and alternatives, if the null hypothesis is defined as a thick or thin range of values. It also examines, empirically, the extent to which the p-value may or may not be a good predictor of the probability that H0 is true, given the distribution of the data. (shrink)

Abstract: Receptivity is a foundational concept in the analysis of causation given in Gregg Rosenberg’s A Place for Consciousness and it enters, directly or indirectly, into the definitions of a host of other terms in the book. This commentary raises a problem (which I call “the triviality problem”) about how we are to understand receptivity. Search for a solution proceeds by examination of several contexts in which the concept of receptivity is used. Although a satisfactory solution remains elusive, it is (...) hoped that making the problem clear will lead to its eventual resolution. (shrink)

Philosophy in Africa has for more than a decade now been dominated by the discussion of one compound question, namely, is there an African philosophy, and if there is, what is it? The first part of the question has generally been unhesitatingly answered in the affirmative. Dispute has been primarily over the second part of the question as various specimens of African philosophy presented do not seem to pass muster. Those of us who refuse to accept certain specimens as philosophy (...) have generally been rather illogically said also to deny an affirmative answer to the first part of the question. In a paper presented at the International Symposium in Memory of Dr William Amo, the Ghanaian philosopher who taught in German universities in the early part of the eighteenth century, Professor Odera Oruka identified four trends, perhaps more appropriately approaches, in current African philosophy. (shrink)

There is a long-standing debate in epistemology on the structure of justification. Some recent work in formal epistemology promises to shed some new light on that debate. I have in mind here some recent work by David Atkinson and Jeanne Peijnenburg, hereafter “A&P”, on infinite regresses of probabilistic support. A&P show that there are probability distributions defined over an infinite set of propositions {\ such that \ is probabilistically supported by \ for all i and \ has a high probability. (...) Let this result be “APR”. A&P oftentimes write as though they believe that APR runs counter to foundationalism. This makes sense, since there is some prima facie plausibility in the idea that APR runs counter to foundationalism, and since some prominent foundationalists argue for theses inconsistent with APR. I argue, though, that in fact APR does not run counter to foundationalism. I further argue that there is a place in foundationalism for infinite regresses of probabilistic support. (shrink)

This paper updates (2017) a previously-presented* model of models, which can be used to clarify discussion and analysis in a variety of disputes and debates, since many such discussions hinge on displaying or implying models about how things are related. Knowing about models does not itself supply any new information about our world, but it might help us to recognize when and how information is being conveyed on these matters, or where possibly it is being obscured. If a claim P (...) is expressed in the context of a certain model, a disagreement about P may actually not be about whether the underlying model is accurate; it could reflect misunderstandings about the model’s assumptions or conventions. Also, in practice, constructed models are rarely fully elaborated for every detail, so misunderstandings can arise from apparent “gaps” in the model. In that case, developing and considering complementary versions of models can sometimes clarify ambiguities. Following the main analysis are several extended Case examples to illustrate the wide applicability of the models approach, for clarifying, if not necessarily “resolving”, numerous debates and issues. For example, a famous “counter example” by Nelson Goodman to a logical model proposed by Carnap is shown to be not as deal-breaking as presumed historically, if only plausible complementary models had been explored. And models sometimes presented as competing in Artificial Intelligence research— “Declarative” versus “Procedural”—can instead be viewed as good examples of “complementary” models. Also reconsidered in this light are some well-known, competing positions, by Russell, Strawson, and Kripke, in the literature regarding names, pointing, definite descriptions and “using” sentences, and so on. All these concepts are locatable within the presently proposed models analysis. Questions such as where “truth” resides (whether in sentences or in uses of sentences) are not settled in this paper; yet, practical questions about how testable claims about the world can be expressed by models are clarified. _* Original version presented at a University of Waterloo Philosophy Colloquium 1984. (shrink)

The consequence argument purports to show that determinism is true only if no one has free will. Judgments about whether the argument is sound depend on how one understands locutions of the form 'p and no one can render p false'. The main interpretation on offer appeals to counterfactual sufficiency: s can render p false just in case there is something s can do such that, were s to do it, p would be false; otherwise, s cannot render p false. (...) Here I show that, in the context of the consequence argument, this interpretation conflicts with widely endorsed principles governing the logic of counterfactuals. (shrink)

Peter Baumann offers the tantalizing suggestion that Thomas Reid is almost, but not quite, a pragmatist. He motivates this claim by posing a dilemma for common sense philosophy: Will it be dogmatism or scepticism? Baumann claims that Reid points to but does not embrace a pragmatist third way between these unsavory options. If we understand `pragmatism' differently than Baumann does, however, we need not be so equivocal in attributing it to Reid. Reid makes what we could call an argument from (...) practical commitment, and this is plausibly an instance of what William James calls the pragmatic method. (shrink)

In this paper we argue that moral deference is prima facie obligatory in cases in which the testifier is a member of a marginalized social group that the receiver is not and testifies about their marginalized experience. We distinguish between two types of deference: epistemic deference, which refers to believing p in virtue of trusting the testifier, and actional deference, which involves acting appropriately in response to the testimony given. The prima facie duty we propose applies to both epistemic and (...) actional deference, though defeaters may quash either or both obligations. Even if one fails to epistemically defer to the marginalized testifier, we argue that they may still be ethically obligated to act in accordance with their testimony. (shrink)

Understanding the relationship between wilderness outings and the resulting experience has been a central theme in resource-based, outdoor recreation research for nearly 50 years. The authors provide a review and synthesis of literature that examines how people, over time, build relationships with wilderness places and express their identities as consequences of multiple, ongoing wilderness engagements (i.e., continued participation). The paper reviews studies of everyday places and those specifically protected for wilderness and backcountry qualities. Beginning with early origins and working through (...) contemporary research the authors synthesize what diverse social scientists have learned about the long-term and continual nature of wilderness participation and its impact on the formation of identity. The thrust of the paper points researchers, planners, and managers in non-traditional directions and reframes goals and objectives for visitor planning and management in wilderness and other protected areas. (shrink)

A proof P of a theorem T is transferable when a typical expert can become convinced of T solely on the basis of their prior knowledge and the information contained in P. Easwaran has argued that transferability is a constraint on acceptable proof. Meanwhile, a proof P is fixable when it’s possible for other experts to correct any mistakes P contains without having to develop significant new mathematics. Habgood-Coote and Tanswell have observed that some acceptable proofs are both fixable and (...) in need of fixing, in the sense that they contain nontrivial mistakes. The claim that acceptable proofs must be transferable seems quite plausible. The claim that some acceptable proofs need fixing seems plausible too. Unfortunately, these attractive suggestions stand in tension with one another. I argue that the transferability requirement is the problem. Acceptable proofs need only satisfy a weaker requirement I call “corrigibility”. I explain why, despite appearances, the corrigibility standard is preferable to stricter alternatives. (shrink)

The question of the cognitive role of fictionality is this: what is the correct cognitive attitude to take to p, when it is fictional that p? We began by considering one answer to this question, implicit in the work of Kendall Walton, that the correct response to a fictional proposition is to imagine that proposition. However, this approach is silent in cases of fictional incompleteness, where neither p nor its negation are fictional. We argue that that Waltonians should embrace a (...) pluralistic account of the cognitive role of fictional incompleteness: in some cases of fictional incompleteness, we are permitted to resolve the incompleteness during our engagement with the target fiction, and in other cases, we are obliged not to resolve the incompleteness. But though pluralism is accommodated by Walton’s wider account of fictionality, it puts tension on his motivating idea that fictionality stands to the imagination as truth stands to belief. And so we develop a rival conception of the cognitive role of fictionality that is built around a different analogy: on this evidentialist approach, (known) fictionality stands to the imagination as evidence stands to credence. (shrink)

Information can be public among a group. Whether or not information is public matters, for example, for accounts of interdependent rational choice, of communication, and of joint intention. A standard analysis of public information identifies it with (some variant of) common belief. The latter notion is stipulatively defined as an infinite conjunction: for p to be commonly believed is for it to believed by all members of a group, for all members to believe that all members believe it, and so (...) forth. This analysis is often presupposed without much argument in philosophy. Theoretical entrenchment or intuitions about cases might give some traction on the question, but give little insight about why the identification holds, if it does. The strategy of this paper is to characterize a practical-normative role for information being public, and show that the only things that play that role are (variants of) common belief as stipulatively characterized. In more detail: a functional role for “taking a proposition for granted” in non-isolated decision making is characterized. I then present some minimal conditions under which such an attitude is correctly held. The key assumption links this attitude to beliefs about what is public. From minimal a priori principles, we can argue that a proposition being public among a group entails common commitment to believe among that group. Later sections explore partial converses to this result, the factivity of publicity and publicity from the perspective of outsiders to the group, and objections to the aprioricity of the result deriving from a posteriori existential presuppositions. (shrink)

Cosmic Justice Hypotheses. -/- This applied-logic lecture builds on [1] arguing that character traits fostered by logic serve clarity and understanding in ethics, confirming hopeful views of Alfred Tarski [2, Preface, and personal communication]. Hypotheses in one strict usage are propositions not known to be true and not known to be false or—more loosely—propositions so considered for discussion purposes [1, p. 38]. Logic studies hypotheses by determining their implications (propositions they imply) and their implicants (propositions that imply them). Logic also (...) studies hypotheses by seeing how variations affect implications and implicants. People versed in logical methods are more inclined to enjoy working with hypotheses and less inclined to dismiss them or to accept them without sufficient evidence. Cosmic Justice Hypotheses (CJHs), such as “in the fullness of time every act will be rewarded or punished in exact proportion to its goodness or badness”, have been entertained by intelligent thinkers. Absolute CJHs, ACHJs, imply that it is pointless to make sacrifices, make pilgrimages, or ask divine forgiveness: once acts are done, doers must ready themselves for the inevitable payback, since the cosmos works inexorably toward justice. Ceteris Paribus CJHs, CPCJHs, on the other hand, such as “in the fullness of time every act will be rewarded or punished in exact proportion to its goodness or badness—other things being equal”, leave room for exceptions. For example, some people subscribing to Ceteris Paribus CJHs think that certain bad acts can be performed with impunity as long as certain procedures are carried out previous to, or simultaneous with, or even after the acts. Belief Ceteris Paribus CJHs has been exploited by unscrupulous “spiritual leaders” who claim to have power to grant exceptions. In opposition to belief in CPCJHs are CJHs that hold belief in CPCJHs to be inherently wrong and subject to punishment. Other variants of CJHs are Cumulative Cosmic Justice Hypotheses, such as “in the fullness of time every person will be rewarded or punished in exact proportion to the net goodness or badness of their acts”. Still other variants include the Hereditary Cumulative Cosmic Justice Hypotheses, such as “in the fullness of time every person will be rewarded or punished in exact proportion to the net goodness or badness of their ancestors’ acts”. [1] JOHN CORCORAN, Inseparability of Logic and Ethics, Free Inquiry, S. 1989, pp. 37–40. [2] ALFRED TARSKI, Introduction to Logic, Dover, 1995. (shrink)

JOHN CORCORAN AND WILIAM FRANK. Surprises in logic. Bulletin of Symbolic Logic. 19 253. Some people, not just beginning students, are at first surprised to learn that the proposition “If zero is odd, then zero is not odd” is not self-contradictory. Some people are surprised to find out that there are logically equivalent false universal propositions that have no counterexamples in common, i. e., that no counterexample for one is a counterexample for the other. Some people would be surprised to (...) find out that in normal first-order logic existential import is quite common: some universals “Everything that is S is P” —actually quite a few—imply their corresponding existentials “Something that is S is P”. Anyway, perhaps contrary to its title, this paper is not a cataloging of surprises in logic but rather about the mistakes that did or might have or might still lead people to think that there are no surprises in logic. The paper cataloging of surprises in logic is on our “to-do” list. -/- ► JOHN CORCORAN AND WILIAM FRANK, Surprises in logic. Philosophy, University at Buffalo, Buffalo, NY 14260-4150, USA E-mail: [email protected] There are many surprises in logic. Peirce gave us a few. Russell gave Frege one. Löwenheim gave Zermelo one. Gödel gave some to Hilbert. Tarski gave us several. When we get a surprise, we are often delighted, puzzled, or skeptical. Sometimes we feel or say “Nice!”, “Wow, I didn’t know that!”, “Is that so?”, or the like. Every surprise belongs to someone. There are no disembodied surprises. Saying there are surprises in logic means that logicians experience surprises doing logic—not that among logical propositions some are intrinsically or objectively “surprising”. The expression “That isn’t surprising” often denigrates logical results. Logicians often aim for surprises. In fact, [1] argues that logic’s potential for surprises helps motivate its study and, indeed, helps justify logic’s existence as a discipline. Besides big surprises that change logicians’ perspectives, the logician’s daily life brings little surprises, e.g. that Gödel’s induction axiom alone implies Robinson’s axiom. Sometimes wild guesses succeed. Sometimes promising ideas fail. Perhaps one of the least surprising things about logic is that it is full of surprises. Against the above is Wittgenstein’s surprising conclusion : “Hence there can never be surprises in logic”. This paper unearths basic mistakes in [2] that might help to explain how Wittgenstein arrived at his false conclusion and why he never caught it. The mistakes include: unawareness that surprise is personal, confusing logicians having certainty with propositions having logical necessity, confusing definitions with criteria, and thinking that facts demonstrate truths. People demonstrate truths using their deductive know-how and their knowledge of facts: facts per se are epistemically inert. [1] JOHN CORCORAN, Hidden consequence and hidden independence. This Bulletin, vol.16, p. 443. [2] LUDWIG WITTGENSTEIN, Tractatus Logico-Philosophicus, Kegan Paul, London, 1921. -/-. (shrink)

In his famous 1982 paper, Allen Newell [22, 23] introduced the notion of knowledge level to indicate a level of analysis, and prediction, of the rational behavior of a cognitive arti cial agent. This analysis concerns the investigation about the availability of the agent knowledge, in order to pursue its own goals, and is based on the so-called Rationality Principle (an assumption according to which "an agent will use the knowledge it has of its environment to achieve its goals" [22, (...) p. 17]. By using the Newell's own words: "To treat a system at the knowledge level is to treat it as having some knowledge, some goals, and believing it will do whatever is within its power to attain its goals, in so far as its knowledge indicates" [22, p. 13]. In the last decades, the importance of the knowledge level has been historically and system- atically downsized by the research area in cognitive architectures (CAs), whose interests have been mainly focused on the analysis and the development of mechanisms and the processes governing human and (arti cial) cognition. The knowledge level in CAs, however, represents a crucial level of analysis for the development of such arti cial general systems and therefore deserves greater research attention [17]. In the following, we will discuss areas of broad agree- ment and outline the main problematic aspects that should be faced within a Common Model of Cognition [12]. Such aspects, departing from an analysis at the knowledge level, also clearly impact both lower (e.g. representational) and higher (e.g. social) levels. (shrink)

Our paper presents a novel theory of weak crossover effects, based entirely on quantifier scope preferences and their consequences for variable binding. The structural notion of 'crossover' play no role. We develop a theory of scope preferences which ascribes a central role to the AGR-P System.

Hill explains that this book “is written both for non-philosophers and for students of philosophy. It is intended to say something both about philosophy, particularly applied moral philosophy, and about the argument for vegetarianism” (p. xiv). Since vegetarianism is an important topic in applied ethics, I had high expectations of this work. However, although the writing is commendably clear, and despite the fact that it is to be welcomed as the first book to bring together and discuss at some length (...) four different arguments for adopting a vegetarian diet, this book is disappointing both by philosophical and scholarly standards. (shrink)